home *** CD-ROM | disk | FTP | other *** search
/ ADA Programming Guide / ADA Programming Guide.iso / ada_gwu / shift.c < prev    next >
Text File  |  1996-01-30  |  10KB  |  671 lines
  1. /*
  2.  * Copyright (C) 1985-1992  New York University
  3.  * 
  4.  * This file is part of the Ada/Ed-C system.  See the Ada/Ed README file for
  5.  * warranty (none) and distribution info and also the GNU General Public
  6.  * License for more details.
  7.  
  8.  */
  9. /* SHIFT_STATES */
  10. int SHIFT_STATE[] = {
  11. /* 1 */     1
  12. /* 2 */ , 430
  13. /* 3 */ , 61
  14. /* 4 */ , 451
  15. /* 5 */ , 337
  16. /* 6 */ , 243
  17. /* 7 */ , 158 , 161 , 155
  18. /* 8 */ , 491 , 340
  19. /* 9 */ , 639 , 734 , 463
  20. /* 10 */ , 645 , 176 , 394 , 627
  21. /* 11 */ , 392 , 287 , 294 , 54
  22. /* 12 */ , 823 , 454 , 698 , 800
  23. /* 13 */ , 378
  24. /* 14 */ , 557
  25. /* 15 */ , 431
  26. /* 16 */ , 474 , 237 , 344
  27. /* 17 */ , 472 , 236 , 343
  28. /* 18 */ , 678
  29. /* 19 */ , 257 , 261 , 718 , 715
  30. /* 20 */ , 767
  31. /* 21 */ , 785 , 756 , 788 , 726 , 821 , 760 , 762 , 794 , 640 , 704 , 422 , 395 , 397 , 774 , 778 , 653 , 689
  32. /* 22 */ , 648
  33. /* 23 */ , 374 , 360
  34. /* 24 */ , 434
  35. /* 25 */ , 555 , 188
  36. /* 26 */ , 43 , 22
  37. /* 27 */ , 17
  38. /* 28 */ , 432
  39. /* 29 */ , 803 , 455
  40. /* 30 */ , 389 , 685 , 250 , 269
  41. /* 31 */ , 347 , 503 , 222 , 633 , 297 , 46 , 111 , 174 , 393 , 487 , 488 , 773 , 272 , 116 , 368 , 275 , 371 , 594
  42. /* 32 */ , 333
  43. /* 33 */ , 763 , 628
  44. /* 34 */ , 692 , 138
  45. /* 35 */ , 63 , 223 , 104 , 218 , 468
  46. /* 36 */ , 154 , 62
  47. /* 37 */ , 72 , 641 , 436
  48. /* 38 */ , 710 , 524
  49. /* 39 */ , 162 , 160 , 156 , 714 , 716
  50. /* 40 */ , 607 , 129
  51. /* 41 */ , 390 , 509 , 331
  52. /* 42 */ , 44 , 305 , 30 , 210
  53. /* 43 */ , 6
  54. /* 44 */ , 408 , 310
  55. /* 45 */ , 21
  56. /* 46 */ , 429
  57. /* 47 */ , 789 , 602 , 231 , 238 , 342 , 749
  58. /* 48 */ , 733 , 693 , 464 , 469
  59. /* 49 */ , 139
  60. /* 50 */ , 382 , 292 , 293 , 296
  61. /* 51 */ , 433 , 219
  62. /* 52 */ , 728
  63. /* 53 */ , 450 , 795 , 810 , 780
  64. /* 54 */ , 384 , 591 , 28 , 582
  65. /* 55 */ , 204
  66. /* 56 */ , 304 , 205
  67. /* 57 */ , 672
  68. /* 58 */ , 255 , 259 , 634 , 802
  69. /* 59 */ , 99 , 200 , 289
  70. /* 60 */ , 94 , 363 , 364
  71. /* 61 */ , 534 , 730 , 616 , 807 , 621
  72. /* 62 */ , 554
  73. /* 63 */ , 101 , 13
  74. /* 64 */ , 159 , 157
  75. /* 65 */ , 631 , 97 , 285 , 286 , 38 , 103 , 10 , 295 , 578 , 705 , 172 , 329 , 48 , 113 , 51 , 302 , 681 , 55 , 90 , 373
  76. /* 66 */ , 71
  77. /* 67 */ , 50
  78. /* 68 */ , 65 , 579 , 241
  79. /* 69 */ , 144
  80. /* 70 */ , 548 , 131 , 226 , 365
  81. /* 71 */ , 34 , 477 , 70 , 415 , 134 , 109 , 587 , 53 , 271 , 747 , 277 , 341 , 626
  82. /* 72 */ , 724 , 221 , 793 , 700 , 386 , 165 , 522 , 403 , 528 , 657 , 313 , 530 , 655
  83. /* 73 */ , 136
  84. /* 74 */ , 142 , 58
  85. /* 75 */ , 660 , 164 , 699 , 168 , 327 , 266 , 402 , 529 , 654 , 312 , 656
  86. /* 76 */ , 143 , 59
  87. /* 77 */ , 220 , 132
  88. /* 78 */ , 137
  89. /* 79 */ , 410 , 291 , 171 , 739 , 299 , 558
  90. /* 80 */ , 502 , 816 , 566 , 567 , 661 , 348 , 568 , 411 , 505 , 662 , 
  91.     819 , 694 , 506 , 664 , 351 , 665 , 290 , 39 , 604 , 510 , 385
  92.  , 636 , 825 , 796 , 169 , 546 , 797 , 515 , 45 , 798 , 610 , 328 , 
  93.     485 , 799 , 549 , 47 , 518 , 612 , 769 , 581 , 644 , 613 , 520 ,
  94. 614 , 771 , 489 , 521 , 679 , 805 , 649 , 775 , 650 , 588 , 369 ,
  95.  651 , 808 , 56 , 652 , 748 , 811 , 592 , 812 , 720 , 501 , 815 , 596
  96. /* 81 */ , 149
  97. /* 82 */ , 147
  98. /* 83 */ , 151
  99. /* 84 */ , 711 , 315
  100. /* 85 */ , 314 , 163 , 824 , 421 , 801 , 712 , 719
  101. /* 86 */ , 320 , 232
  102. /* 87 */ , 118
  103. /* 88 */ , 547 , 407 , 499
  104. /* 89 */ , 148
  105. /* 90 */ , 152
  106. /* 91 */ , 150
  107. /* 92 */ , 462
  108. /* 93 */ , 635
  109. /* 94 */ , 349 , 417 , 416 , 418 , 419 , 658
  110. /* 95 */
  111. /* 96 */
  112. /* 97 */ , 355 , 262 , 544 , 519 , 682 , 617 , 589 , 400 , 89 , 559 , 123 , 561
  113. /* 98 */ , 377 , 380 , 504 , 413 , 539 , 508 , 542 , 606 , 167 , 330 , 301 , 175 , 300 , 114 , 523 , 308 , 121 , 405
  114. /* 99 */ , 317 , 251 , 127 , 572 , 318 , 541 , 575 , 735 , 770 , 82 , 246 , 466 , 563 , 404
  115. /* 100 */ , 599 , 412 , 569 , 486 , 772 , 750 , 376 , 500
  116. /* 101 */ , 64 , 381 , 37 , 511 , 356 , 514 , 453 , 235 , 265 , 740 , 551 , 240 , 115 , 372 , 562 , 282
  117. /* 102 */ , 284 , 379 , 540 , 350 , 383 , 74 , 709 , 713 , 623 , 247 , 435 , 527 , 690 , 125
  118. /* 103 */ , 792 , 516 , 513 , 706 , 744 , 783 , 782 , 781
  119. /* 104 */ , 452
  120. /* 105 */ , 545 , 538
  121. /* 106 */ , 126 , 316 , 322 , 804
  122. /* 107 */ , 233 , 73 , 618 , 311 , 465
  123. /* 108 */ , 2
  124. /* 109 */ , 5
  125. /* 110 */ , 33
  126. /* 111 */ , 263 , 91
  127. /* 112 */ , 57
  128. /* 113 */ , 212
  129. /* 114 */ , 189
  130. /* 115 */ , 190
  131. /* 116 */ , 191
  132. /* 117 */ , 192
  133. /* 118 */ , 193 , 23
  134. /* 119 */ , 194 , 24
  135. /* 120 */ , 195
  136. /* 121 */ , 196 , 25
  137. /* 122 */ , 197
  138. /* 123 */ , 198 , 26
  139. /* 124 */ , 199
  140. /* 125 */ , 98 , 697 , 207 , 335 , 217
  141. /* 126 */ , 790 , 598 , 586 , 492 , 406 , 590 , 593
  142. /* 127 */ , 375
  143. /* 128 */ , 490 , 339
  144. /* 129 */ , 170
  145. /* 130 */ , 201
  146. /* 131 */ , 202
  147. /* 132 */ , 203 , 100
  148. /* 133 */ , 367 , 270
  149. /* 134 */ , 467
  150. /* 135 */ , 478
  151. /* 136 */ , 479
  152. /* 137 */ , 480
  153. /* 138 */ , 481 , 345
  154. /* 139 */ , 482
  155. /* 140 */ , 483 , 346
  156. /* 141 */ , 484
  157. /* 142 */ , 493
  158. /* 143 */ , 498
  159. /* 144 */ , 476 , 321 , 230 , 574 , 494
  160. /* 145 */ , 495 , 470
  161. /* 146 */ , 496 , 471
  162. /* 147 */ , 133 , 227 , 497
  163. /* 148 */ , 741 , 577
  164. /* 149 */ , 643
  165. /* 150 */ , 580
  166. /* 151 */ , 473
  167. /* 152 */ , 576 , 573
  168. /* 153 */ , 475
  169. /* 154 */ , 338
  170. /* 155 */ , 708 , 526
  171. /* 156 */ , 601
  172. /* 157 */ , 414
  173. /* 158 */ , 128 , 764 , 707 , 525 , 776
  174. /* 159 */ , 600
  175. /* 160 */ , 826 , 570
  176. /* 161 */ , 753 , 565 , 691 , 755 , 35 , 3 , 758 , 791 , 759 , 571 , 166 , 
  177. 667 , 732 , 11 , 702 , 106 , 609 , 737 , 736 , 423 , 738 ,
  178.  424 , 550 , 584 , 743 , 686 , 280 , 281
  179. /* 162 */ , 642
  180. /* 163 */ , 696
  181. /* 164 */ , 695
  182. /* 165 */ , 370 , 273
  183. /* 166 */ , 597 , 334
  184. /* 167 */ , 409
  185. /* 168 */ , 820 , 806
  186. /* 169 */ , 817
  187. /* 170 */ , 818 , 766 , 124 , 401
  188. /* 171 */ , 229 , 786 , 822
  189. /* 172 */ , 366
  190. /* 173 */ , 632 , 105 , 307 , 583
  191. /* 174 */ , 107 , 224 , 398
  192. /* 175 */ , 177
  193. /* 176 */ , 703 , 213
  194. /* 177 */ , 214 , 93
  195. /* 178 */ , 215
  196. /* 179 */ , 303 , 178
  197. /* 180 */ , 179
  198. /* 181 */ , 180 , 27
  199. /* 182 */ , 181 , 29
  200. /* 183 */ , 182
  201. /* 184 */ , 357 , 66 , 52 , 242
  202. /* 185 */ , 67
  203. /* 186 */ , 68
  204. /* 187 */ , 283 , 69
  205. /* 188 */ , 239
  206. /* 189 */ , 234
  207. /* 190 */ , 122 , 245 , 399
  208. /* 191 */ , 228
  209. /* 192 */ , 130
  210. /* 193 */ , 517 , 244
  211. /* 194 */ , 319
  212. /* 195 */ , 254 , 252 , 253 , 256 , 258 , 325 , 260 , 323 , 324 , 326 , 87
  213. /* 196 */ , 83
  214. /* 197 */ , 84
  215. /* 198 */ , 85
  216. /* 199 */ , 86
  217. /* 200 */ , 88
  218. /* 201 */ , 146
  219. /* 202 */ , 145
  220. /* 203 */ , 81
  221. /* 204 */ , 140 , 79 , 249
  222. /* 205 */ , 78
  223. /* 206 */ , 248 , 77
  224. /* 207 */ , 225 , 60 , 119 , 120
  225. /* 208 */ , 117
  226. /* 209 */ , 75
  227. /* 210 */ , 76
  228. /* 211 */ , 153
  229. /* 212 */ , 141
  230. /* 213 */ , 80
  231. /* 214 */ , 135
  232. /* 215 */ , 754 , 723 , 757 , 512 , 668 , 701 , 684 , 683 , 814 , 813 , 279 
  233. , 687 , 752
  234. /* 216 */ , 537 , 361
  235. /* 217 */ , 425
  236. /* 218 */ , 362
  237. /* 219 */ , 428
  238. /* 220 */ , 427
  239. /* 221 */ , 437
  240. /* 222 */ , 438
  241. /* 223 */ , 439
  242. /* 224 */ , 440
  243. /* 225 */ , 441
  244. /* 226 */ , 673 , 442
  245. /* 227 */ , 443
  246. /* 228 */ , 444
  247. /* 229 */ , 445
  248. /* 230 */ , 619 , 446
  249. /* 231 */ , 456
  250. /* 232 */ , 457
  251. /* 233 */ , 458
  252. /* 234 */ , 459
  253. /* 235 */ , 674 , 460
  254. /* 236 */ , 461
  255. /* 237 */ , 426
  256. /* 238 */ , 663 , 629 , 787 , 670 , 560
  257. /* 239 */ , 731
  258. /* 240 */ , 768 , 717
  259. /* 241 */ , 784 , 729
  260. /* 242 */ , 765
  261. /* 243 */ , 553
  262. /* 244 */ , 556
  263. /* 245 */ , 630
  264. /* 246 */ , 727
  265. /* 247 */ , 552
  266. /* 248 */ , 359 , 725 , 742 , 595
  267. /* 249 */ , 615
  268. /* 250 */ , 543
  269. /* 251 */ , 42 , 173 , 20 , 211 , 306
  270. /* 252 */ , 108 , 761 , 112 , 809 , 625 , 746
  271. /* 253 */ , 102 , 49 , 533
  272. /* 254 */ , 110
  273. /* 255 */ , 507 , 216
  274. /* 256 */ , 298
  275. /* 257 */ , 387
  276. /* 258 */ , 388 , 268
  277. /* 259 */ , 532
  278. /* 260 */ , 41 , 19
  279. /* 261 */ , 309
  280. /* 262 */ , 332
  281. /* 263 */ , 264
  282. /* 264 */ , 208
  283. /* 265 */ , 209
  284. /* 266 */ , 206
  285. /* 267 */ , 288
  286. /* 268 */ , 585
  287. /* 269 */ , 647
  288. /* 270 */ , 646
  289. /* 271 */ , 745
  290. /* 272 */ , 624
  291. /* 273 */ , 680
  292. /* 274 */ , 447
  293. /* 275 */ , 448
  294. /* 276 */ , 449
  295. /* 277 */ , 779 , 620
  296. /* 278 */ , 669
  297. /* 279 */ , 622
  298. /* 280 */ , 671
  299. /* 281 */ , 675
  300. /* 282 */ , 777 , 676
  301. /* 283 */ , 677
  302. /* 284 */ , 666 , 722 , 721
  303. /* 285 */ , 611
  304. /* 286 */ , 4
  305. /* 287 */ , 7
  306. /* 288 */ , 9
  307. /* 289 */ , 15
  308. /* 290 */ , 14
  309. /* 291 */ , 31
  310. /* 292 */ , 32
  311. /* 293 */ , 8
  312. /* 294 */ , 12
  313. /* 295 */ , 95
  314. /* 296 */ , 608 , 535
  315. /* 297 */ , 751 , 605
  316. /* 298 */ , 659
  317. /* 299 */ , 16
  318. /* 300 */ , 18
  319. /* 301 */ , 40
  320. /* 302 */ , 96
  321. /* 303 */ , 267
  322. /* 304 */ , 336
  323. /* 305 */ , 274
  324. /* 306 */ , 391 , 276 , 396
  325. /* 307 */ , 278
  326. /* 308 */ , 603 , 352
  327. /* 309 */ , 420
  328. /* 310 */ , 358
  329. /* 311 */ , 354
  330. /* 312 */ , 531 , 353
  331. /* 313 */ , 183
  332. /* 314 */ , 184
  333. /* 315 */ , 185
  334. /* 316 */ , 186
  335. /* 317 */ , 187
  336. /* 318 */ , 564
  337. /* 319 */ , 637
  338. /* 320 */ , 638
  339. /* 321 */ , 688
  340. /* 322 */ , 92
  341. /* 323 */ , 536
  342. /* 324 */ , 36
  343.             } ;
  344. /* SHIFT_STATES_INDEX */
  345. int SHIFT_STATE_INDEX []= {
  346. 0,
  347. 1,
  348. 2,
  349. 3,
  350. 4,
  351. 5,
  352. 6,
  353. 9,
  354. 11,
  355. 14,
  356. 18,
  357. 22,
  358. 26,
  359. 27,
  360. 28,
  361. 29,
  362. 32,
  363. 35,
  364. 36,
  365. 40,
  366. 41,
  367. 58,
  368. 59,
  369. 61,
  370. 62,
  371. 64,
  372. 66,
  373. 67,
  374. 68,
  375. 70,
  376. 74,
  377. 92,
  378. 93,
  379. 95,
  380. 97,
  381. 102,
  382. 104,
  383. 107,
  384. 109,
  385. 114,
  386. 116,
  387. 119,
  388. 123,
  389. 124,
  390. 126,
  391. 127,
  392. 128,
  393. 134,
  394. 138,
  395. 139,
  396. 143,
  397. 145,
  398. 146,
  399. 150,
  400. 154,
  401. 155,
  402. 157,
  403. 158,
  404. 162,
  405. 165,
  406. 168,
  407. 173,
  408. 174,
  409. 176,
  410. 178,
  411. 198,
  412. 199,
  413. 200,
  414. 203,
  415. 204,
  416. 208,
  417. 221,
  418. 234,
  419. 235,
  420. 237,
  421. 248,
  422. 250,
  423. 252,
  424. 253,
  425. 259,
  426. 325,
  427. 326,
  428. 327,
  429. 328,
  430. 330,
  431. 337,
  432. 339,
  433. 340,
  434. 343,
  435. 344,
  436. 345,
  437. 346,
  438. 347,
  439. 348,
  440. 354,
  441. 354,
  442. 354,
  443. 366,
  444. 384,
  445. 398,
  446. 406,
  447. 422,
  448. 436,
  449. 444,
  450. 445,
  451. 447,
  452. 451,
  453. 456,
  454. 457,
  455. 458,
  456. 459,
  457. 461,
  458. 462,
  459. 463,
  460. 464,
  461. 465,
  462. 466,
  463. 467,
  464. 469,
  465. 471,
  466. 472,
  467. 474,
  468. 475,
  469. 477,
  470. 478,
  471. 483,
  472. 490,
  473. 491,
  474. 493,
  475. 494,
  476. 495,
  477. 496,
  478. 498,
  479. 500,
  480. 501,
  481. 502,
  482. 503,
  483. 504,
  484. 506,
  485. 507,
  486. 509,
  487. 510,
  488. 511,
  489. 512,
  490. 517,
  491. 519,
  492. 521,
  493. 524,
  494. 526,
  495. 527,
  496. 528,
  497. 529,
  498. 531,
  499. 532,
  500. 533,
  501. 535,
  502. 536,
  503. 537,
  504. 542,
  505. 543,
  506. 545,
  507. 573,
  508. 574,
  509. 575,
  510. 576,
  511. 578,
  512. 580,
  513. 581,
  514. 583,
  515. 584,
  516. 588,
  517. 591,
  518. 592,
  519. 596,
  520. 599,
  521. 600,
  522. 602,
  523. 604,
  524. 605,
  525. 607,
  526. 608,
  527. 610,
  528. 612,
  529. 613,
  530. 617,
  531. 618,
  532. 619,
  533. 621,
  534. 622,
  535. 623,
  536. 626,
  537. 627,
  538. 628,
  539. 630,
  540. 631,
  541. 642,
  542. 643,
  543. 644,
  544. 645,
  545. 646,
  546. 647,
  547. 648,
  548. 649,
  549. 650,
  550. 653,
  551. 654,
  552. 656,
  553. 660,
  554. 661,
  555. 662,
  556. 663,
  557. 664,
  558. 665,
  559. 666,
  560. 667,
  561. 680,
  562. 682,
  563. 683,
  564. 684,
  565. 685,
  566. 686,
  567. 687,
  568. 688,
  569. 689,
  570. 690,
  571. 691,
  572. 693,
  573. 694,
  574. 695,
  575. 696,
  576. 698,
  577. 699,
  578. 700,
  579. 701,
  580. 702,
  581. 704,
  582. 705,
  583. 706,
  584. 711,
  585. 712,
  586. 714,
  587. 716,
  588. 717,
  589. 718,
  590. 719,
  591. 720,
  592. 721,
  593. 722,
  594. 726,
  595. 727,
  596. 728,
  597. 733,
  598. 739,
  599. 742,
  600. 743,
  601. 745,
  602. 746,
  603. 747,
  604. 749,
  605. 750,
  606. 752,
  607. 753,
  608. 754,
  609. 755,
  610. 756,
  611. 757,
  612. 758,
  613. 759,
  614. 760,
  615. 761,
  616. 762,
  617. 763,
  618. 764,
  619. 765,
  620. 766,
  621. 767,
  622. 768,
  623. 770,
  624. 771,
  625. 772,
  626. 773,
  627. 774,
  628. 776,
  629. 777,
  630. 780,
  631. 781,
  632. 782,
  633. 783,
  634. 784,
  635. 785,
  636. 786,
  637. 787,
  638. 788,
  639. 789,
  640. 790,
  641. 791,
  642. 793,
  643. 795,
  644. 796,
  645. 797,
  646. 798,
  647. 799,
  648. 800,
  649. 801,
  650. 802,
  651. 803,
  652. 806,
  653. 807,
  654. 809,
  655. 810,
  656. 811,
  657. 812,
  658. 814,
  659. 815,
  660. 816,
  661. 817,
  662. 818,
  663. 819,
  664. 820,
  665. 821,
  666. 822,
  667. 823,
  668. 824,
  669. 825,
  670. 826    };
  671.